# -*- mode: snippet -*-
# name: Add Setoid
# --
Add Setoid $1.
